WALTER BURLEIGH, Von der Reinheit der Kunst der Logik. Erster Traktat: Von den Eigenschaften der Termini. Übersetzt und mit Einfuhrung und Anmerkungen herausgegeben von Peter Kunze. Lateinisch-deut...

H. BRANDS, 'Cogito ergo sum'. Interpretationen von Kant bis Nietzsche. Freiburg (Breisgau)/Miinchen: Karl Alber Verlag 1982. 318 Seiten. DM 54.

MICHAEL D. RESNIK, Frege and the philosophy of mathematics. Ithaca and London: Cornell University Press, 1980. 244 pp. $16.50. HANS D. SLUGA, Gottlob Frege. London, Boston and Henley: Routledge & Kegan Paul, 1980. xi + 203 pp. £ 12.95.

John Bell showed that a big class of local hidden-variable models stands in conflict with quantum mechanics and experiment. Recently, there were suggestions that empirically adequate hidden-variable models might exist which presuppose a weaker notion of local causality. We will show that a Bell-type inequality can be derived also from these weaker assumptions. IntroductionThe EPR-Bohm experimentLocal causalityBell's inequality from separate common causes4.1 A weak screening-off principle4.2 Perfect correlation and ‘determinism’4.3 A minimal theory for spins4.4 No conspiracyDiscussion.

MEDIEVAL LOGICS LAMBERT MARIE DE RIJK (ed.), Die mittelalterlichen Traktate De mod0 opponendiet respondendi, Einleitung und Ausgabe der einschlagigen Texte. (Beitrage zur Geschichte der Philosophie und Theologie des Mittelalters, Neue Folge Band 17.) Miinster: Aschendorff, 1980. 379 pp. No price stated. THE SEVENTEENTH CENTURY MARTA FATTORI, Lessico del Novum Organum di Francesco Bacone. Rome: Edizioni dell'Ateneo 1980. Two volumes, il + 543, 520 pp. Lire 65.000. VIVIAN SALMON, The study of language in 17th century England. (Amsterdam Studies in the Theory (...) and History of Linguistic Science, Series 111: Studies in theHistory of Linguistics, Volume 17.) Amsterdam: John Benjamins B.V., 1979.x + 218 pp. Dfl. 65. Theoria cum Praxi. Zum Verhaltnis von Theorie und Praxis im 17. und 18. Jahrhundert. (Akten des 111. Internationalen Leibnizkongress, Hannover, 12. bis 17.November 1977, Band 111: Logik, Erkenntnistheorie, Wissenschaftstheorie, Metaphysik, Theologie.) Wiesbaden: Franz Steiner Verlag, 1980. vii + 269 pp. DM 48. CLASSICAL AND NON-CLASSICAL LOGICS MICHAEL CLARK, The place of syllogistic in logical theory. Nottingham: University of Nottingham Press, 1980. ix + 151 pp. £3.00. A.F. PARKER-RHODES, The theory of indistinguishables. Dordrecht, Boston and London: D. Reidel Publishing Company, 1981. xvii + 216 pp. Dfl.90.00/$39.50. NICHOLAS RESCHER and ROBERT BRANDOM, The logic of inconsistency. Oxford:Basil Blackwell, 1980. x + 174 pp. f 11.50. MISCELLANEOUS J. ZELENY, The logic of Marx. Translated from the German by T. Carver. Oxford: Basil Blackwell, 1980. xcii + 247 pp. £12.50. FELIX KAUFMANN, The infinite in mathematics. Edited by Brian McGuinness. Introduction by E. Nagel. Translation from the German by Paul Foulkes. Dordrecht: Reidel, 1978. xvii + 235 pp. Dfl 85/$39.50 (cloth); Dfl 45/$19.95 (paper). PAMELA MCCORDUCK, Machines who think. San Francisco: W.H. Freeman and Company, 1979. xiv + 275 pp. $14.95. J. MITTELSTRASS (ed.), Enzyklopadie Philosophie und Wissenschaftstheorie Bd. 1 : A-G. Mannheim, Wien, Ziirich: Bibliographisches Institut, 1980. 835 pp. DM 128. (shrink)

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.

_Zettel, _ an en face bilingual edition, collects fragments from Wittgenstein's work between 1929 and 1948 on issues of the mind, mathematics, and language.

Written over the last 18 months of his life and inspired by his interest in G. E. Moore's defence of common sense, this much discussed volume collects Wittgenstein's reflections on knowledge and certainty, on what it is to know a proposition for sure.

This considerably revised second edition of Wittgenstein's 1914-16 notebooks contains a new appendix with photographs of Wittgenstein's original work, a new preface by Elizabeth Anscombe, and a useful index by E.D. Klemke. Corrections have been made throughout the text, and notes have been added, making this the definitive edition of the notebooks. The writings intersperse Wittgenstein's technical logical notations with his thoughts on the meaning of life, happiness, and death. "When the first edition of this collection of remarks appeared in (...) 1961 we were provided with a glimpse of the workings of Wittgenstein's mind during the period when the seminal ideas of the _Tractatus Logico-Philosophicus_ were being worked out. This second edition provided the occasion to be struck anew by the breadth, rigor, and above all the restlessness of that mind."—T. Michael McNulty, S. J., _The Modern Schoolman_. (shrink)

This bilingual edition of the Remarks on the Philosophy of Psychology presents the first English translation of an essential body of Wittgenstein's work. It elaborates Wittgenstein's views on psychological concepts such as expectation, sensation, knowing how to follow a rule, and knowledge of the sensations of other persons. It also shows strong emphasis on the "anthropological" aspect of Wittgenstein's thought.

Gentzen writes in the published version of his doctoral thesis Untersuchungen über das logische Schliessen that he was able to prove the normalization theorem only for intuitionistic natural deduction, but not for classical. To cover the latter, he developed classical sequent calculus and proved a corresponding theorem, the famous cut elimination result. Its proof was organized so that a cut elimination result for an intuitionistic sequent calculus came out as a special case, namely the one in which the sequents have (...) at most one formula in the right, succedent part. Thus, there was no need for a direct proof of normalization for intuitionistic natural deduction. The only traces of such a proof in the published thesis are some convertibilities, such as when an implication introduction is followed by an implication elimination [1934–35, II.5.13]. It remained to Dag Prawitz in 1965 to work out a proof of normalization. Another, less known proof was given also in 1965 by Andres Raggio.We found in February 2005 an early handwritten version of Gentzen's thesis, with exactly the above title, but with rather different contents: Most remarkably, it contains a detailed proof of normalization for what became the standard system of natural deduction. The manuscript is located in the Paul Bernays collection at the ETH-Zurichwith the signum Hs. 974: 271. Bernays must have gotten it well before the time of his being expelled from Göttingen on the basis of the racial laws in April 1933. (shrink)

Wittgenstein's work remains, undeniably, now, that off one of those few philosophers who will be read by all future generations.

The impending missions to exploit natural resources of celestial bodies may at some point start interfering with the scientific interests, including those of astrobiology, in these bodies. While the legal status of celestial bodies at the highest level is clear, uncertainty has arisen as to the extent private property rights over such objects or over their resources are legally acceptable, legally impossible, or potentially legal. This also provides for a considerable amount of uncertainty regarding how the legal framework could or (...) may need to be changed to accommodate private interests. The article analyzes the two main international treaties relevant from this perspective, as well as their backgrounds, in order to outline the current legal status of celestial bodies and the resulting legal rights and obligations pertinent to both private exploitation and exploration. Based on such an analysis, it concludes by highlighting an approach that could actually incentivize the private sector and the science community to work together in a manner conducive to their interests in exploitation and exploration respectively. (shrink)

Background: Only data of published study results are available to the scientific community for further use such as informing future research and synthesis of available evidence. If study results are reported selectively, reporting bias and distortion of summarised estimates of effect or harm of treatments can occur. The publication and citation of results of clinical research conducted in Germany was studied.Methods: The protocols of clinical research projects submitted to the research ethics committee of the University of Freiburg in 2000 were (...) analysed. Published full articles in several databases were searched and investigators contacted. Data on study and publication characteristics were extracted from protocols and corresponding publications.Results: 299 study protocols were included. The most frequent study design was randomised controlled trial , followed by uncontrolled studies , laboratory studies and non-randomised studies . 182 were multicentre studies including 97 international collaborations. 152 of 299 had commercial funding and 46 non-commercial funding. 109 of the 225 completed protocols corresponded to at least one full publication ; the publication rate was 48%. 168 of 210 identified publications were cited in articles indexed in the ISI Web of Science. The median was 11 citations per publication .Conclusions: Results of German clinical research projects conducted are largely underreported. Barriers to successful publication need to be identified and appropriate measures taken. Close monitoring of projects until publication and adequate support provided to investigators may help remedy the prevailing underreporting of research. (shrink)